micro-PRL - определение. Что такое micro-PRL
Diclib.com
Словарь ChatGPT
Введите слово или словосочетание на любом языке 👆
Язык:

Перевод и анализ слов искусственным интеллектом ChatGPT

На этой странице Вы можете получить подробный анализ слова или словосочетания, произведенный с помощью лучшей на сегодняшний день технологии искусственного интеллекта:

  • как употребляется слово
  • частота употребления
  • используется оно чаще в устной или письменной речи
  • варианты перевода слова
  • примеры употребления (несколько фраз с переводом)
  • этимология

Что (кто) такое micro-PRL - определение

WIKIMEDIA DISAMBIGUATION PAGE
PRL (disambiguation)

PRL         
Proof Refinement Logic. Versions: micro-PRL, lambda-PRL, nu-PRL. ["PRL: Proof Refinement Logic Programmer's Manual", CS Dept, Cornell, 1983]. (1995-01-24)
Micro Forté         
VIDEO GAME DEVELOPMENT COMPANY
Micro Forte
Micro Forté Pty Ltd is an Australian electronic entertainment company with development studios in Canberra and Sydney. Founded in 1985 by John De Margheriti at a time when there was little game development presence in Australia, Micro Forté has been closely linked to the growth of the Australian game development industry, with CEO De Margheriti initiating events such as the Australian Game Developers Conference (AGDC) and founding the Academy of Interactive Entertainment (AIE).
The Micro User         
UK MAGAZINE
Acorn Computing; BBC Micro User; Acorn computing; Micro User
The Micro User (titled BBC Micro User in the first three issues) was a British specialist magazine catering to users of the BBC Microcomputer series, Acorn Electron, Acorn Archimedes and, to a limited extent, the Cambridge Z88. It had a comprehensive mix of reviews of games, application software, and the latest Acorn computers; type-in programs (duplicated on a "cover disk" which was available separately), a correspondence page offering help with computer problems, and approachable technical articles on programming and the BBC Micro's internals.

Википедия

PRL